Derivative cot^-1(x)